TSTP Solution File: SWW471^2 by SRASS---0.1